Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
🔬Logic in Computer Science
Proving that every program halts
ntietz.com·2d
👑Isabelle
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Generative AI Exacerbates Software Supply Chain Risks
darkreading.com·53m
🔒WASM Capabilities
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Threaded Code
muforth.dev·4h·
Discuss: Hacker News
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
How to (Almost) solve cybersecurity once and for all
adaptive.live·18h·
Discuss: Hacker News
🔐Systems Hardening
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
💻Programming languages
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·19h·
Discuss: DEV
🦀Rust Borrowing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs